A Lyapunov Iss Small-gain Theorem for Strongly Connected Networks

We consider strongly connected networks of input-to-state stable (ISS) systems. Provided a small gain condition holds it is shown how to construct an ISS Lyapunov function using ISS Lyapunov functions of the subsystems. The construction relies on two steps: The construction of a strictly increasing path in a region defined on the positive orthant in R by the gain matrix and the combination of the given ISS Lyapunov functions of the subsystems to a ISS Lyapunov function for the composite system. Novelties are the explicit path construction and that all the involved Lyapunov functions are nonsmooth, i.e., they are only required to be locally Lipschitz continuous. The existence of a nonsmooth ISS Lyapunov function is qualitatively equivalent to ISS.